Mikolajczak, B.

• Bauskar, Bhushan E.; Mikolajczak, Boleslaw:
  Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets. 2006.

• Mikolajczak, Boleslaw; Sefranek, Charles:
  Integrating Object-Oriented Design with Petri Nets - Case Study of ATM System. 2003.

• Mikolajczak, Boleslaw; Wang, Zuyan:
  Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. 2003.

• Mikolajczak, Boleslaw; Wang, Zuyan:
  Conceptual modeling of concurrent information systems with general morphisms of Petri nets. 2003.

• Mikolajczak, Boleslaw; Byrne, Debora l.:
  Workflow modeling and diagnosis with Petri nets -- a case study of a manufacturing. 2002.

• Mikolajczak, B.; Ottlik, A.:
  Specification of distributed systems with actors using object-oriented Petri nets. 2000.

• Cabeza, A.M.; Mikolajczak, B.:
  Rapid prototyping methodologies and object-oriented Petri net models - a conceptual review. 1999.

• Mikolajczak, B.:
  Applications of high-level Petri nets in systematic development of complex information systems. 1999.

• Mikolajczak, B.; Rumbut Jr., J.T.:
  Distributed dynamic programming using concurrent object-orientedness with actors visualized by high-level Petri nets. 1999.

• Mikolajczak, Boleslaw:
  A Model-based Software Engineering of Parallel and Distributed Systems using Petri Nets. 1998.

• Mukhin, Denis; Mikolajczak, Boleslaw:
  A Method of Concurrent Object-oriented Design Using High-level Petri Nets. 1998.

• Idzikowska, E.; Mikolajczak, B.:
  Petri Nets Approach to Functional Self-Testing of Microprocessors. 1986.

• Mikolajczak, B.:
  On the Computational Complexity of Some Problems in Petri Nets. 1983.

Back to the Petri Nets Bibliography